<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <meta http-equiv="Content-Style-Type" content="text/css">
  <title></title>
  <meta name="Generator" content="Cocoa HTML Writer">
  <meta name="CocoaVersion" content="824.48">
  <style type="text/css">
    p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Helvetica}
  </style>
</head>
<body>
<p class="p1">/* Javadoc style sheet */</p>
<p class="p1">/* Define colors, fonts and other style attributes here to override the defaults */</p>
<p class="p1">/* Page background color */</p>
<p class="p1">body { background-color: #FFFFFF;</p>
<p class="p1">font-family: Verdana, Helvetica, Arial, sans-serif;</p>
<p class="p1">}</p>
<p class="p1">/* Headings */</p>
<p class="p1">h1 { font-size: 145%;</p>
<p class="p1">}</p>
<p class="p1">/* Table colors */</p>
<p class="p1">.TableHeadingColor { background: #CCCCFF }</p>
<p class="p1">.TableSubHeadingColor { background: #EEEEFF }</p>
<p class="p1">.TableRowColor { background: #FFFFFF } /* White */</p>
<p class="p1">/* Font used in left-hand frame lists */</p>
<p class="p1">.FrameTitleFont { font-size: 100%; }</p>
<p class="p1">.FrameHeadingFont { font-size: 90%; }</p>
<p class="p1">.FrameItemFont { font-size: 90%; }</p>
<p class="p1">/* Navigation bar fonts and colors */</p>
<p class="p1">.NavBarCell1 { background-color:#ddd; }</p>
<p class="p1">.NavBarCell1Rev { background-color:#eee; }</p>
<p class="p1">.NavBarFont1 { color:#222;}</p>
<p class="p1">.NavBarFont1Rev { color:#000;}</p>
<p class="p1">.NavBarCell2 { background-color:#FFFFFF;}</p>
<p class="p1">.NavBarCell3 { background-color:#FFFFFF;}</p>
<p class="p1">HR {</p>
<p class="p1">width: 100%;</p>
<p class="p1">height: 2px;</p>
<p class="p1">border-width: 0px;</p>
<p class="p1">padding: 0px;</p>
<p class="p1">color: #CCCCCC;</p>
<p class="p1">background-color: #CCCCCC;</p>
<p class="p1">}</p>
<p class="p1">PRE {</p>
<p class="p1">padding: 5px;</p>
<p class="p1">border-style: solid;</p>
<p class="p1">border-width: 1px;</p>
<p class="p1">border-color: #CCCCCC;</p>
<p class="p1">}</p>
</body>
</html>
